Nonlocal automated comparative static analysis
نویسندگان
چکیده
منابع مشابه
Nonlocal Automated Comparative Static Analysis
This paper reviews work on the^ development of a program Nasa for the automated comparative static analysis of parametrized nonlinear systems over parameter intervals. Nasa incorporates a fast and efficient algorithm Feed for the automatic evaluation of higher-order partial derivatives, as well as an adaptive homotopy continuation algorithm for obtaining all required iiutial conditions. Applica...
متن کاملNonlocal Automated Sensitivity Analysis
Previously a complete ordinary differential equation (ODE) system was developed for tracking the solution x(~) of a parameterized system of nonlinear equations 0 = ~'(x,~) over an ~-interval [~0, ~]. This paper develops a two-phase complex homotopy continuation method for obtaining the required initial conditions at ~t °. An initial "short" artificial continuation is followed by a continuation ...
متن کاملAutomated Static Analysis of Equation-Based Components
Mathematical modeling and the simulation of complex physical systems are emerging as key technologies in engineering. The availability of static analyzers and automatic debuggers for detecting structural and numerical inconsistencies in the simulation models is crucial.To address this need, the authors propose a methodology for detecting and repairing overconstrained and underconstrained situat...
متن کاملStatic Pull-in Analysis of Capacitive FGM Nanocantilevers Subjected to Thermal Moment using Eringen’s Nonlocal Elasticity
This paper aims to investigate the pull-in phenomenon of functionally graded (FG) capacitive nanocantilevers subjected to an electrostatic force and thermal moment due to an applied voltage and thermal shock considering intermolecular force within the framework of nonlocal elasticity theory to account for the small scale effect. The FG nano-beam is made of mixture of metal and ceramic which the...
متن کاملIntegrated Automated Test Case Generation and Static Analysis – Extended Abstract
In the general literature discussing software quality assurance, there is a common understanding that the software verification process should be supported by both tests and static analyses [Lig02], the latter ranging from informal inspections to rigorous application of formal methods [CCF06]. This understanding is also reflected by the applicable standards for – potentially safety-related – so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science in Economics and Management
سال: 1992
ISSN: 0921-2736,1572-9974
DOI: 10.1007/bf00436585